Linearizability: A Correctness Condition for Concurrent Objects MAURICE P. HERLIHY and JEANNETTE Carnegie Mellon University M. WING

Source URL: cs.brown.edu

• Data
• Information
• Linearizability
• Monitor
• Sequential consistency
• Concurrent data structure
• Communications protocol
• Consistency model
• Concurrent computing
• Computing
• Concurrency control
• Transaction processing

Conscriptions: a new relational model for sequential computations Steve Dunne School of Computing University of Teesside, UK

Source URL: utp12.lri.fr

Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul

Source URL: www.cs.technion.ac.il

• Transaction processing
• Memory management
• Linearizability
• Parallel computing
• Concurrent data structure
• Non-blocking algorithm
• Garbage collection
• Algorithm
• Sequential consistency
• Computing
• Concurrent computing
• Concurrency control

MCAH Action California Maternal, Child and Adolescent Health Directors Education Day The Trauma-Informed, Neuro-sequential model (Ti/NS)

Source URL: www.calwic.org

Sequential Model-Based Optimization for General Algorithm Configuration Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown University of British Columbia, 2366 Main Mall, Vancouver BC, V6T 1Z4, Canada {hutter,hoos,kevin

Source URL: www.cs.ubc.ca

• Cybernetics
• Mathematical optimization
• NP-complete problems
• Formal methods
• Algorithm
• Genetic algorithm
• Ant colony optimization algorithms
• Evolutionary algorithm
• Computational complexity theory
• Applied mathematics
• Mathematics
• Theoretical computer science

Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral

Source URL: www.cse.unsw.edu.au

• Theoretical computer science
• Industrial automation
• Sequential function chart
• Formal methods
• Concurrency
• Logic in computer science
• Petri net
• IEC 61131-3
• Actor model
• Technology
• Computing
• Models of computation

Line-Up: A Complete and Automatic Linearizability Checker Sebastian Burckhardt Chris Dern Madanlal Musuvathi

Source URL: research.microsoft.com

• Data management
• Concurrent computing
• Linearizability
• Serializability
• Non-blocking algorithm
• Sequential consistency
• Consistency model
• Thread safety
• Monitor
• Concurrency control
• Computing
• Transaction processing

A CALCULUS FOR DISTRIBUTED MOBILE COMPUTING WITH STATIC RESOURCE ACCESS AND USAGE CONTROL By Mayuresh Kulkarni A Thesis Submitted to the Graduate

Source URL: wcl.cs.rpi.edu

• Computing
• Ambient calculus
• Π-calculus
• Process calculus
• Actor model
• Calculus
• Lambda calculus
• Communicating sequential processes
• Combinatory logic
• Process calculi
• Computer science
• Applied mathematics

NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness Jacob Burnim Tayfun Elmas

Source URL: www.eecs.berkeley.edu

• Data
• Concurrency control
• Concurrent computing
• Databases
• Serializability
• Parallel computing
• Actor model
• Concurrent data structure
• Thread
• Computing
• Transaction processing
• Data management

Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany

Source URL: www.cs.kun.nl

• Logic in computer science
• Formal methods
• Concurrent computing
• Cross-platform software
• Process calculi
• Communicating sequential processes
• Runtime verification
• Actor model
• Process calculus
• Computing
• Theoretical computer science
• Software engineering